Formal Modeling the Low-level Interaction Between Holons

This paper is focused on formal modeling of low-level interaction between holons. Using as formal methods the Place/Transition nets and Net Condition/Event systems (NCESs) we have developed some models for a communication and control mechanism between three production facilities sharing a common resource. The resource is represented by a shared route area on which each production facility delivers its ready pallets and the control mechanism has to assure the correct access to this route in order to avoid the collision of pallets. Key-Words: Formal modeling, Petri nets, Net Condition/Event systems, Holon.